Cosa (chi) è strong typing - definizione
MAJOR CLASS OF TYPE SYSTEM, IN WHICH COMPATIBILITY AND EQUIVALENCE OF DATA TYPES IS DETERMINED BY EXPLICIT DECLARATIONS AND/OR THE NAME OF THE TYPES
Nominative typing; Nominal typing; Nominative type system
strong typing
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
<programming> Strict enforcement of type rules with no
exceptions. Incorrect type usage can be detected either at
run time or at compile time. Strong typing catches more
type errors than weak typing, resulting in fewer hard
errors. In a strongly typed language, conversion between
types requires the use of explicit conversion functions as
opposed to implicit type coercion.
Typing strength is a continuum; ML is more strongly typed
than Java, which is more strongly typed than C.
Strong or weak typing is independent of the choice between
static typing and dynamic typing. Among strongly typed
languages, Ada, Java, Haskell and ML are statically
typed, whereas Python and Ruby are dynamically typed.
(2004-07-20)
strongly typed
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
Strong and weak typing
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
In computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.
Wikipedia
Nominal type system
In computer science, a type system is a nominal or nominative type system (or name-based type system) if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. Nominal type systems contrast with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.
